Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
241	The C Implementation of Icon; A Tour Through Version 5* Ralph E. Griswold William H. Mitchell Stephen B. Wampler TR 83-1 la Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2014-02-09 10:57:40 Compiler construction Data types Procedural programming languages Programming language implementation Source code Lexical analysis Variable Pointer C Computing Software engineering Computer programming
242	Checking Correctness of Code Generator Architecture Specifications ∗ Niranjan Hasabnis Rui Qiao Add to Reading List Source URL: seclab.cs.sunysb.edu Language: English - Date: 2015-02-26 08:58:27 Programming language implementation Compiler construction Compilers GNU Compiler Collection Compiler X86 Static single assignment form Register transfer language Instruction set Software Computing Computer architecture
243	BRICS Basic Research in Computer Science BRICS RS-03-7 Brabrand et al.: The METAFRONT System: Extensible Parsing and Transformation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-02-27 03:29:28 Computing LR parser Parsing Bottom-up parsing LL parser Top-down parsing Formal grammar Context-free grammar Terminal and nonterminal symbols Formal languages Software engineering Programming language implementation
244	SoK: Automated Software Diversity Per Larsen, Andrei Homescu, Stefan Brunthaler, Michael Franz University of California, Irvine Abstract—The idea of automatic software diversity is at least two decades old. The deﬁci Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2014-04-21 13:48:10 Programming language implementation Cross-platform software Procedural programming languages C Standard Library PaX Address space layout randomization Software bugs JIT spraying Compiler optimization Computing Software engineering Software
245	T-EMU 2.0: The Next Generation LLVM Based Micro-Processor Emulator Dr. Mattias Holm <> ● Add to Reading List Source URL: llvm.org Language: English - Date: 2015-05-07 11:28:28 Virtual machines Emulator Programming language implementation Binary translation QEMU LLVM OVPsim LEON Machine code System software Software Compilers
246	Automatically Proving the Correctness of Program Analyses and Transformations Sorin Lerner A dissertation submitted in partial fulfillment of Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2006-03-22 02:52:44 Compiler optimizations Software Compiler construction Formal methods Models of computation Compiler Dataflow Constant folding Automated theorem proving Programming language implementation Computing Software engineering
247	2002 Paper 4 Question 2 Compiler Construction The specification for a pocket-calculator-style programming language is as follows: • Valid inputs consist either of an Expression followed by the enter button or of an Ex Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:17:47 Compiler construction Formal languages Source code Lexical analysis Parsing Programming language implementation Programming language Syntax C++ classes Software engineering Computer programming Computing
248	Contextual Semantic Parsing using Crowdsourced Spatial Descriptions Kais Dukes () Institute for Artificial Intelligence, University of Leeds United Kingdom, LS2 9JT Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-01 20:07:36 Science Programming language implementation Compiler construction Grammar Statistical natural language processing Parsing Semantic role labeling Treebank Bottom-up parsing Linguistics Computational linguistics Formal languages
249	5 Darkroom Software If you have a home computer, some way to display a graphics image, and maybe even a way to capture images from a digitizer or a video recorder, you Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Parsing Compiling tools Formal languages Lexical analysis Lex Recursive descent parser Attribute grammar Interpreter Compiler Programming language implementation Software Compiler construction
250	Nadav Rotem Permanent U.S. Resident (Green Card) Ph.D. Computer Science Santa Clara, California Phone: (408) 4769476 Email: Add to Reading List Source URL: cs.haifa.ac.il Language: English - Date: 2014-12-13 16:48:20 Compilers Compiler construction LLVM OpenCL Virtual machines Compiler Just-in-time compilation Pin Clang Software Programming language implementation Computing

UPDATE